$\forall$${\it es}$:ES, $e$:E. isrcv($e$) $\Rightarrow$ (emsg($e$) $\in$ sends(lnk($e$);sender($e$)))